;void cambiar_a_cr3_kernel();
;void volver_a_cr3_usuario();

global cambiar_a_cr3_kernel
global volver_a_cr3_usuario
global recuperar_cr3_usuario
global cr3kernel

cr3kernel: dd 0
cr3usuario: dd 0

cambiar_a_cr3_kernel:
	push ebp
	mov ebp,esp
	push eax
	mov eax, cr3
	mov [cr3usuario],eax
	mov eax,[cr3kernel]
	mov cr3,eax
	pop eax
	pop ebp
	ret
	
volver_a_cr3_usuario:
	push ebp
	mov ebp,esp
	push eax
	mov eax,[cr3usuario]
	mov cr3,eax
	pop eax
	pop ebp
	ret
	
recuperar_cr3_usuario:
	mov eax, [cr3usuario]
	ret